例句與造句

1. The logical constants, by contrast, have the same meaning in all interpretations.
2. Logical constants, including logical connectives and logically implies another when it is logically incompatible with the negation of the other.
3. In a " deviation ", the usual logical constants are used, but are given a different meaning than usual.
4. Logical connectives along with quantifiers are the two main types of logical constants used in formal systems such as propositional logic and predicate logic.
5. The second approach is to treat the equality relation symbol as a logical constant that must be interpreted by the real equality relation in any interpretation.
6. It's difficult to find logical constant in a sentence. 用logical constant造句挺難的
7. Logical constants are always given the same meaning by every interpretation of the standard kind, so that only the meanings of the non-logical symbols are changed.
8. For instance there are logical constants which do not refer to any idea, but rather serve as a form of punctuation in the language ( e . g . parentheses ).
9. The connectives are usually taken to be logical constants, meaning that the meaning of the connectives is always the same, independent of what interpretations are given to the other symbols in a formula.
10. In an " extension ", new and different logical constants are added, for instance the " \ Box " in modal logic, which stands for " necessarily . " In extensions of a logic,
11. Many of these logical constants are sometimes denoted by alternate symbols ( " e . g . ", the use of the symbol " & " rather than "'" " to denote the logical and ).
12. For example, in the language of rings, there are constant symbols 0 and 1, two binary function symbols + and ? and no binary relation symbols . ( Here the equality relation is taken as a logical constant .)
13. This impredicative theory generalized predicative type theory as presented in his 1984 Bibliopolis book, and extended in a number of increasingly philosophical texts, such as his influential " On the Meanings of the Logical Constants and the Justifications of the Logical Laws ".
14. Note that all our interpretation does is assign the extension { a } to the non-logical constant " T ", and does not make a claim about whether " T " is to stand for tall and'a'for Abraham Lincoln.
15. Prior to 1927 Boolean algebra had been considered a calculus of logical values with logical operations of conjunction, disjunction, negation, etc . Zhegalkin showed that all Boolean operations could be written as ordinary numeric polynomials, thinking of the logical constants 0 and 1 as integers mod 2.
16. According to [ Ferraris, 2005 ], the " reduct " of a propositional formula F relative to a set I of atoms is the formula obtained from F by replacing each maximal subformula that is not satisfied by I with the logical constant \ bot ( false ).
更多例句：  下一頁